Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
41	Introduction Case Study in Systems Biology Continuous Approximation and Differential Equations Case Study in Web Services Adventures in Systems Biology Jane Hillston. LFCS, University of Edinburgh 18th July 2005 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:40:16 Process calculi Jane Hillston PEPA Differential equation Numerical analysis Laboratory for Foundations of Computer Science Equation Mathematical analysis
42	Logical Methods in Computer Science Vol. 10(2:, pp. 1–51 www.lmcs-online.org Submitted Published Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Differential geometry Process calculi Theoretical computer science -calculus Sheaf XC
43	Linear Forwarders∗ Philippa Gardner Cosimo Laneve Lucian Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-07-07 12:00:28 Theoretical computer science Functions and mappings Process calculi -calculus Substitution Lambda calculus Limit of a function
44	Genome Informatics 16(2): 215–Toward Integration of Systems Biology Formalism: The Gene Regulatory Networks Case Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 06:18:59 Process calculi Systems biology Bioinformatics Theoretical computer science Process calculus Gene regulatory network Systems science Differential equation Academia -calculus Stochastic Calculus
45	Symmetries and dualities in name-passing process calculi Daniel Hirschkoff1 , Jean-Marie Madiot1 , and Davide Sangiorgi2 1 ENS Lyon, Universit´e de Lyon, CNRS, INRIA, France, Add to Reading List Source URL: madiot.fr Language: English - Date: 2015-10-09 12:19:08
46	Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:08 Software engineering Computing Computer programming Type theory Procedural programming languages Process calculi Data types Synchronization Language Of Temporal Ordering Specification Standard ML E-LOTOS ML
47	Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:28 Connection Differential geometry Process calculi Theoretical computer science -calculus Valuation Bearing pressure Symbol
48	On the Expressiveness and Decidability of Higher-Order Process Calculi I,II Ivan Lanesea , Jorge A. P´erezb , Davide Sangiorgia,∗, Alan Schmittc b CITI a Focus Team, Universit` Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2011-10-19 09:27:06
49	Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-01-28 15:15:59 Process calculi Calculus of communicating systems Bisimulation Robin Milner Alcatel-Lucent Q0 Transition system Communicating sequential processes Bell Labs Lucent
50	On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi Ivan Lanese1 , Jorge A. Pérez2 , Davide Sangiorgi1 , and Alan Schmitt3 1 2 Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2011-10-19 09:27:06